every convergent sequence is Cauchy